Interactive proof system - PDFSEARCH.IO - Document Search Engine

Interactive proof system
Results: 103

#	Item
31	On The (In)security Of Fischlin’s Paradigm P RABHANJAN A NANTH Microsoft Research India V IPUL G OYAL Microsoft Research India Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-24 10:18:26 Interactive proof system Non-interactive zero-knowledge proof Proof of knowledge IP Soundness Zero-knowledge proof NP Random oracle Oracle machine Cryptography Theoretical computer science Cryptographic protocols
32	Interactive and Noninteractive Zero Knowledge are Equivalent in the Help Model∗ Andr´e Chailloux† Dragos Florin Ciocan‡ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2007-12-13 07:18:22 Cryptographic protocols Complexity classes Zero-knowledge proof Interactive proof system Commitment scheme NP IP Soundness Entropy Theoretical computer science Cryptography Applied mathematics
33	Proofs that Yield All Languages Proof Add to Reading List Source URL: nakamotoinstitute.org Language: English - Date: 2014-03-23 11:48:58 Complexity classes Cryptographic protocols Probabilistic complexity theory Models of computation Interactive proof system Zero-knowledge proof NP IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
34	— A merged version of this work and the work of [BGW12] appears in the proceedings of the Theory of Cryptography Conference - TCC 2013 — On the (In)security of the Fiat-Shamir Paradigm, Revisited Dana Dachman-Soled M Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-17 13:39:52 Proof theory Zero-knowledge proof Interactive proof system Commitment scheme IP Soundness Probabilistically checkable proof Random oracle Symbol Cryptography Theoretical computer science Cryptographic protocols
35	Round-Optimal Zero-Knowledge Proofs of Knowledge for NP Li HongDa†1 , Feng DengGuo2 , Li Bao1 , Xu HaiXia1 1 State Key Lab of Information Security, Graduate University of Chinese Academy of Sciences, Beijing, C Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-15 09:42:20 Cryptographic protocols Probabilistic complexity theory Complexity classes Interactive proof system Proof of knowledge Zero-knowledge proof IP Soundness Commitment scheme Theoretical computer science Applied mathematics Computational complexity theory
36	How to Delegate Computations: The Power of No-Signaling Proofs Yael Tauman Kalai ∗ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-01 02:12:54 Computational complexity theory Interactive proof system NEXPTIME Probabilistically checkable proof IP Cryptographic protocols Soundness NP Zero-knowledge proof Theoretical computer science Applied mathematics Complexity classes
37	An extended abstract of this paper is published in the proceedings of the 13th International Conference on Cryptology in India [21] – IndocryptThis is the full version. On the Non-malleability of the Fiat-Shamir Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-16 15:16:50 Zero-knowledge proof Proof of knowledge Interactive proof system IP Soundness NP Random oracle Probabilistically checkable proof Fiat-Shamir heuristic Cryptography Cryptographic protocols Non-interactive zero-knowledge proof
38	— A merged version of this work and the work of [DJKL12] appears in the proceedings of the Theory of Cryptography Conference - TCC 2013 — Why “Fiat-Shamir for Proofs” Lacks a Proof Nir Bitansky∗ Tel Aviv Univer Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-19 16:42:35 Search algorithms Computational complexity theory Random oracle Interactive proof system Hash function Zero-knowledge proof Universal hashing Collision resistance Hash list Cryptography Cryptographic hash functions Hashing
39	Rational Zero: Economic Security for Zerocoin with Everlasting Anonymity Christina Garman, Matthew Green, Ian Miers, and Aviel D. Rubin The Johns Hopkins University Department of Computer Science, Baltimore, USA {cgarman Add to Reading List Source URL: hms.isi.jhu.edu Language: English - Date: 2014-02-05 02:14:18 Non-interactive zero-knowledge proof Zero-knowledge proof Proof-of-work system Proof of knowledge Random oracle Commitment scheme Cryptographic nonce NP IP Cryptography Cryptographic protocols Bitcoin
40	Unprovable Security of Two-Message Zero Knowledge Kai-Min Chung∗ Edward Lui∗ Mohammad Mahmoody∗ Rafael Pass∗ December 19, 2012 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-19 11:29:49 Complexity classes Cryptographic protocols Probabilistic complexity theory Interactive proof system Probabilistically checkable proof IP Soundness Zero-knowledge proof Time complexity Theoretical computer science Computational complexity theory Applied mathematics